sec x integral proof